<html>
<head><meta charset="utf-8"><title>compiler lecture series episode on miri · t-compiler/const-eval · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/index.html">t-compiler/const-eval</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/compiler.20lecture.20series.20episode.20on.20miri.html">compiler lecture series episode on miri</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="158554819"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/compiler%20lecture%20series%20episode%20on%20miri/near/158554819" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/compiler.20lecture.20series.20episode.20on.20miri.html#158554819">(Feb 14 2019 at 19:03)</a>:</h4>
<p>Hey <span class="user-mention" data-user-id="124288">@oli</span>, <span class="user-mention" data-user-id="120791">@RalfJ</span> and/or <span class="user-mention" data-user-id="119009">@eddyb</span> --- I'd like to do the next compiler lecture series episode on miri. I am imagining a talk about how miri is structured, showing the way miri models memory, some details of how this fits in the compiler, maybe a bit about Stacked Borrows etc. What do you think?</p>



<a name="158555514"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/compiler%20lecture%20series%20episode%20on%20miri/near/158555514" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/compiler.20lecture.20series.20episode.20on.20miri.html#158555514">(Feb 14 2019 at 19:12)</a>:</h4>
<p>what is the "compiler lecture series"?</p>



<a name="158557645"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/compiler%20lecture%20series%20episode%20on%20miri/near/158557645" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/compiler.20lecture.20series.20episode.20on.20miri.html#158557645">(Feb 14 2019 at 19:37)</a>:</h4>
<p><span class="user-mention" data-user-id="120791">@RalfJ</span> the series of presentations on different rustc/compiler topics (debuginfo, cranelift, lark, etc), described in more detail on <a href="https://internals.rust-lang.org/t/compiler-lecture-series/9227" target="_blank" title="https://internals.rust-lang.org/t/compiler-lecture-series/9227">irlo</a></p>



<a name="158558948"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/compiler%20lecture%20series%20episode%20on%20miri/near/158558948" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/compiler.20lecture.20series.20episode.20on.20miri.html#158558948">(Feb 14 2019 at 19:52)</a>:</h4>
<p>oh cool, I had no idea</p>



<a name="158558981"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/compiler%20lecture%20series%20episode%20on%20miri/near/158558981" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/compiler.20lecture.20series.20episode.20on.20miri.html#158558981">(Feb 14 2019 at 19:52)</a>:</h4>
<p>hm, I was supposed to reduce my amount of Rust involvement and focus on my thesis :/</p>



<a name="158571218"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/compiler%20lecture%20series%20episode%20on%20miri/near/158571218" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/compiler.20lecture.20series.20episode.20on.20miri.html#158571218">(Feb 14 2019 at 22:29)</a>:</h4>
<p><span class="user-mention" data-user-id="120791">@RalfJ</span> lol</p>



<a name="158571222"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/compiler%20lecture%20series%20episode%20on%20miri/near/158571222" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/compiler.20lecture.20series.20episode.20on.20miri.html#158571222">(Feb 14 2019 at 22:29)</a>:</h4>
<p>this is the opposite of my goal for you :P</p>



<a name="158571273"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/compiler%20lecture%20series%20episode%20on%20miri/near/158571273" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/compiler.20lecture.20series.20episode.20on.20miri.html#158571273">(Feb 14 2019 at 22:30)</a>:</h4>
<p>that said, I do think that e.g. <span class="user-mention" data-user-id="124288">@oli</span> could surely do a whole talk just on the basic operation of miri</p>



<a name="158571291"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/compiler%20lecture%20series%20episode%20on%20miri/near/158571291" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/compiler.20lecture.20series.20episode.20on.20miri.html#158571291">(Feb 14 2019 at 22:30)</a>:</h4>
<p>and talking about mechanizing stacked borrows etc would be fine for later</p>



<a name="158571308"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/compiler%20lecture%20series%20episode%20on%20miri/near/158571308" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/compiler.20lecture.20series.20episode.20on.20miri.html#158571308">(Feb 14 2019 at 22:30)</a>:</h4>
<p>I've also been tinkering with setups that are explicitly designed to minimze the amount of prep work needed</p>



<a name="158596608"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/compiler%20lecture%20series%20episode%20on%20miri/near/158596608" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/compiler.20lecture.20series.20episode.20on.20miri.html#158596608">(Feb 15 2019 at 07:38)</a>:</h4>
<p>Is there any preferred presentation format? Like a google doc presentation or markdown or can I just do what I want b/c it's a screen recording?</p>



<a name="158598072"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/compiler%20lecture%20series%20episode%20on%20miri/near/158598072" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/compiler.20lecture.20series.20episode.20on.20miri.html#158598072">(Feb 15 2019 at 08:12)</a>:</h4>
<p>oh lol, I already have 20% of the presentation in a local repo</p>



<a name="158598074"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/compiler%20lecture%20series%20episode%20on%20miri/near/158598074" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/compiler.20lecture.20series.20episode.20on.20miri.html#158598074">(Feb 15 2019 at 08:12)</a>:</h4>
<p>markdown generated presentation it is</p>



<a name="158599588"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/compiler%20lecture%20series%20episode%20on%20miri/near/158599588" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/compiler.20lecture.20series.20episode.20on.20miri.html#158599588">(Feb 15 2019 at 08:46)</a>:</h4>
<blockquote>
<p>this is the opposite of my goal for you :P</p>
</blockquote>
<p>you don't want me to graduate then, do you? :P</p>



<a name="158620946"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/compiler%20lecture%20series%20episode%20on%20miri/near/158620946" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/compiler.20lecture.20series.20episode.20on.20miri.html#158620946">(Feb 15 2019 at 15:12)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> <br>
In the new artifacts repo you created in GitHub, maybe we can have a page with links to all these videos ?</p>



<a name="158620964"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/compiler%20lecture%20series%20episode%20on%20miri/near/158620964" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/compiler.20lecture.20series.20episode.20on.20miri.html#158620964">(Feb 15 2019 at 15:12)</a>:</h4>
<p>And maybe a shared calendar with upcoming lectures ?</p>



<a name="158629872"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/compiler%20lecture%20series%20episode%20on%20miri/near/158629872" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/compiler.20lecture.20series.20episode.20on.20miri.html#158629872">(Feb 15 2019 at 17:03)</a>:</h4>
<blockquote>
<p>Is there any preferred presentation format? Like a google doc presentation or markdown or can I just do what I want b/c it's a screen recording?</p>
</blockquote>
<p><span class="user-mention" data-user-id="124288">@oli</span> no preferred format. Slides are fine but I wouldn't say required. Something I found worked really well is to create a DropBox paper, work out the rough plan of what you want to say, and then make a fresh dropbox paper for the talk -- then you can just type stuff into it as you go, sort of leaving notes behind, but notes that can be collaboratively updated. (Plus then we can link to the final dropbox paper with the talk, so people can peruse at their leisure) But that may or may not work for this particular material.</p>



<a name="158629880"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/compiler%20lecture%20series%20episode%20on%20miri/near/158629880" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/compiler.20lecture.20series.20episode.20on.20miri.html#158629880">(Feb 15 2019 at 17:03)</a>:</h4>
<blockquote>
<p>And maybe a shared calendar with upcoming lectures ?</p>
</blockquote>
<p>Yep, I will do this</p>



<a name="158633320"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/compiler%20lecture%20series%20episode%20on%20miri/near/158633320" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/compiler.20lecture.20series.20episode.20on.20miri.html#158633320">(Feb 15 2019 at 17:44)</a>:</h4>
<blockquote>
<p><span class="user-mention silent" data-user-id="116009">@nikomatsakis</span> <br>
In the new artifacts repo you created in GitHub, maybe we can have a page with links to all these videos ?</p>
</blockquote>
<p>where is the artifacts repo you're talking about?</p>



<a name="158636160"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/compiler%20lecture%20series%20episode%20on%20miri/near/158636160" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/compiler.20lecture.20series.20episode.20on.20miri.html#158636160">(Feb 15 2019 at 18:17)</a>:</h4>
<p><span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> <br>
<a href="https://github.com/rust-lang/compiler-team/tree/master/working-groups" target="_blank" title="https://github.com/rust-lang/compiler-team/tree/master/working-groups">https://github.com/rust-lang/compiler-team/tree/master/working-groups</a><br>
I was talking about that. Not sure if that's right place but somewhere if we can collect such helpful videos by topics, then it might be easily accessible to anyone even if they miss out on the lecture itself.</p>



<a name="159181893"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/compiler%20lecture%20series%20episode%20on%20miri/near/159181893" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/compiler.20lecture.20series.20episode.20on.20miri.html#159181893">(Feb 22 2019 at 19:01)</a>:</h4>
<p><span class="user-mention" data-user-id="124288">@oli</span> So -- should we schedule a date here?</p>



<a name="159181920"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/compiler%20lecture%20series%20episode%20on%20miri/near/159181920" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/compiler.20lecture.20series.20episode.20on.20miri.html#159181920">(Feb 22 2019 at 19:01)</a>:</h4>
<p>Some time in March? Kind of doesn't matter, more about what works for you</p>



<a name="159220751"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/compiler%20lecture%20series%20episode%20on%20miri/near/159220751" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/compiler.20lecture.20series.20episode.20on.20miri.html#159220751">(Feb 23 2019 at 08:42)</a>:</h4>
<p>March sounds good. Any tuesday any time works for me</p>



<a name="159361342"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/compiler%20lecture%20series%20episode%20on%20miri/near/159361342" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/compiler.20lecture.20series.20episode.20on.20miri.html#159361342">(Feb 25 2019 at 18:48)</a>:</h4>
<p><span class="user-mention" data-user-id="124288">@oli</span> how about next Tuesday at 10am boston time (same time slot as compiler)?</p>



<a name="159361370"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/compiler%20lecture%20series%20episode%20on%20miri/near/159361370" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/compiler.20lecture.20series.20episode.20on.20miri.html#159361370">(Feb 25 2019 at 18:48)</a>:</h4>
<p>i.e., Mar 5</p>



<a name="159361748"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/compiler%20lecture%20series%20episode%20on%20miri/near/159361748" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Cem Karan <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/compiler.20lecture.20series.20episode.20on.20miri.html#159361748">(Feb 25 2019 at 18:52)</a>:</h4>
<blockquote>
<p>i.e., Mar 5</p>
</blockquote>
<p>Could you put that on the calendar?  I suspect that as more new people (like me) come on board, the calendar is going to be more and more important to figuring out what are the 'interesting' events to join in on.</p>



<a name="159361985"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/compiler%20lecture%20series%20episode%20on%20miri/near/159361985" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/compiler.20lecture.20series.20episode.20on.20miri.html#159361985">(Feb 25 2019 at 18:55)</a>:</h4>
<p><span class="user-mention" data-user-id="202560">@Cem Karan</span> I plan to, yes, once <span class="user-mention" data-user-id="124288">@oli</span> confirms =)</p>



<a name="159362020"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/compiler%20lecture%20series%20episode%20on%20miri/near/159362020" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Cem Karan <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/compiler.20lecture.20series.20episode.20on.20miri.html#159362020">(Feb 25 2019 at 18:55)</a>:</h4>
<p>Thanks! <span aria-label="grinning" class="emoji emoji-1f600" role="img" title="grinning">:grinning:</span></p>



<a name="159369006"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/compiler%20lecture%20series%20episode%20on%20miri/near/159369006" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/compiler.20lecture.20series.20episode.20on.20miri.html#159369006">(Feb 25 2019 at 20:26)</a>:</h4>
<p>Also, <span class="user-mention" data-user-id="124288">@oli</span>, how's this for a little blurb? I'm trying to make this seem a bit more official!</p>
<hr>
<p>[miri]  is an interpreter for MIR, Rust's internal representation. miri is the foundation for Rust's compile time evaluation capabilities. Its design enables it to simulate the workings of the machine at a low-level, meaning that it can interpret not only "safe Rust" but also a lot of unsafe Rust code, including complex and highly optimized libraries like the stdlib hashmap. In this talk, compiler team member oli-obk will dig into how miri works, giving us some insight into its architecture, the way that it represents and reasons about memory, and what kinds of capabilities it offers for Rust itself.</p>
<p>[miri]: <a href="https://github.com/rust-lang/miri" target="_blank" title="https://github.com/rust-lang/miri">https://github.com/rust-lang/miri</a></p>
<hr>
<p>OK, I totally made up that set of things you would talk about. Feel free to edit mercilessly.</p>



<a name="159373591"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/compiler%20lecture%20series%20episode%20on%20miri/near/159373591" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/compiler.20lecture.20series.20episode.20on.20miri.html#159373591">(Feb 25 2019 at 21:26)</a>:</h4>
<p>I'll edit the message tomorrow, since i'm on mobile rn</p>



<a name="159373593"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/compiler%20lecture%20series%20episode%20on%20miri/near/159373593" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/compiler.20lecture.20series.20episode.20on.20miri.html#159373593">(Feb 25 2019 at 21:26)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> time and date is good</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>